Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios. Mais especificamente, seja ${\textstyle R}$ uma relação definida do conjunto ${\textstyle A}$ com o ${\textstyle B}$. O conjunto ${\textstyle A}$ é denominado conjunto de partida e o conjunto ${\textstyle B}$ é denominado conjunto de chegada. A correspondência (ou relação) entre um dado elemento ${\textstyle a\in A}$ com um elemento ${\textstyle b\in B}$, quando definida, é denotada pelo par ordenado ${\textstyle (a,b)}$, onde o primeiro elemento do par ordenado procede do conjunto de partida ${\textstyle A}$ e o segundo do conjunto de chegada ${\textstyle B}$.

Os conjuntos de partida e de chegada não tem necessariamente que ter uma estrutura. Entretanto, segundo o tipo de estrutura que é sobreposta a esses conjuntos e o tipo de restrição que se impõe à própria relação, tem-se tipos especiais de relações, cada qual com um nome específico.

Uma classe de relações especialmente importante é a classe das funções.